$\forall$$s$:QOSet. Trans($\mid$$s$$\mid$;$x$,$y$.$x$ $\leq$ $y$)